package com.googlecode.kipler.satisfiability.reasoner;

import java.util.Set;

import com.googlecode.kipler.syntax.concept.Concept;
import com.googlecode.kipler.syntax.formula.Formula;

public interface InterpolantReasoner extends Reasoner {
	public Concept interpolant(Set<Formula> leftTheory,
			Set<Formula> rightTheory, Concept leftConcept, Concept rightConcept)
			throws Exception;
}
